﻿2026-09-18T11:27:00.2789748Z ##[group]Run set -euo pipefail
2026-09-18T11:27:00.2790199Z [36;1mset -euo pipefail[0m
2026-09-18T11:27:00.2790732Z [36;1mif [ "push" != "pull_request" ]; then[0m
2026-09-18T11:27:00.2791131Z [36;1m  echo "code=true" >> "$GITHUB_OUTPUT"[0m
2026-09-18T11:27:00.2791532Z [36;1m  exit 0[0m
2026-09-18T11:27:00.2791842Z [36;1mfi[0m
2026-09-18T11:27:00.2792166Z [36;1mfiles=$(git diff --name-only HEAD^1 HEAD)[0m
2026-09-18T11:27:00.2792610Z [36;1mprintf 'changed files:\n%s\n' "$files"[0m
2026-09-18T11:27:00.2793028Z [36;1mcode=false[0m
2026-09-18T11:27:00.2793380Z [36;1mwhile IFS= read -r f; do[0m
2026-09-18T11:27:00.2793738Z [36;1m  [ -z "$f" ] && continue[0m
2026-09-18T11:27:00.2807170Z [36;1m  case "$f" in[0m
2026-09-18T11:27:00.2807489Z [36;1m    docs-site/*) code=true ;;[0m
2026-09-18T11:27:00.2807762Z [36;1m    *.md) ;;[0m
2026-09-18T11:27:00.2808005Z [36;1m    traceable-reqs.toml) ;;[0m
2026-09-18T11:27:00.2808273Z [36;1m    *) code=true ;;[0m
2026-09-18T11:27:00.2808516Z [36;1m  esac[0m
2026-09-18T11:27:00.2808786Z [36;1mdone <<< "$files"[0m
2026-09-18T11:27:00.2809228Z [36;1mecho "code=$code" >> "$GITHUB_OUTPUT"[0m
2026-09-18T11:27:00.2822046Z shell: /usr/bin/bash --noprofile --norc -e -o pipefail {0}
2026-09-18T11:27:00.2822383Z ##[endgroup]
